| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| bobindex | Text File | 192 | 5KB | 1997-09-11 |
| examples.tv | Text File | 134 | 4KB | 1997-09-11 |
| figures.tv | Text File | 130 | 4KB | 1997-09-11 |
| frontmatter | Text File | 213 | 6KB | 1997-09-11 |
| fullhtml.v | Hypertext Markup Language File | 1,774 | 46KB | 1997-09-11 |
| fulltext.hlp | Text File | 1,386 | 42KB | 1997-09-11 |
| fulltext.pv | Text File | 1,321 | 39KB | 1997-09-11 |
| fulltext.rev | Text File | 1,347 | 38KB | 1997-09-11 |
| fulltext.v | Text File | 1,384 | 42KB | 1997-09-11 |
| media.tv | Text File | 130 | 4KB | 1997-09-11 |
| README | Text File | 87 | 3KB | 1997-09-11 |
| tables.tv | Text File | 135 | 4KB | 1997-09-11 |
| toc.pv | Text File | 460 | 12KB | 1997-09-11 |
| toc.tv | Text File | 361 | 11KB | 1997-09-11 |
| tochtml.tv | Text File | 705 | 16KB | 1997-09-11 |